منابع مشابه
Performance - Related Specifications of Concrete Bridge Superstructures
The contents of this report reflect the views of the authors, who are responsible for the facts and the accuracy of the data presented herein. The contents do not necessarily reflect the official views or policies of the Indiana Department of Transportation or the Federal Highway Administration at the time of publication. This report does not constitute a standard, specification, or regulation....
متن کاملFinal Report PERFORMANCE - RELATED SPECIFICATIONS OF CONCRETE BRIDGE SUPERSTRUCTURES
The contents of this report reflect the views of the authors, who are responsible for the facts and the accuracy of the data presented herein. The contents do not necessarily reflect the official views or policies of the Indiana Department of Transportation or the Federal Highway Administration at the time of publication. This report does not constitute a standard, specification, or regulation....
متن کاملBeam & Shell Models for Composite Straight or Curved Bridge Decks with Intermediate Diaphragms & Assessment of Design Specifications
In this research effort, the generalized warping and distortional problem of straight or horizontally curved composite beams of arbitrary cross section, loading and boundary conditions is presented. An inclined plane of curvature is considered. Additionally, the stiffness of diaphragmatic plates has been introduced in the formulation in order to compare with the case where rigid diaphragms are ...
متن کاملBased Specifications – reusing specifications , programs and proofs
The system has been designed for developing large interactive proofs. In particular, the GUI provides commands for reading and writing hierarchical proofs by letting the user focus on part of a proof. TLAPS uses a fingerprinting mechanism to store proof obligations and their status. It thus avoids reproving previously proved obligations, even after a model or a proof has been restructured, and ...
متن کاملBerberis vulgaris: specifications and traditional uses
The medicinal plants from genus Berberis are particularly important in traditional medicine and the food basket of Iranians. Given various plants from genus Berberis and their economic, nutritional, and medicinal status in Iran, this study seeks to investigate the findings of recent studies on the phytochemical characteristics, specifications, and uses of Berberis vulgaris. In this review artic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Franklin Institute
سال: 1875
ISSN: 0016-0032
DOI: 10.1016/s0016-0032(75)90367-1